From Object-z Speciications to Classbench Test Suites from Object-z Speciications to Classbench Test Suites
نویسندگان
چکیده
This paper describes a method for speciication-based class testing that incorporates test case generation, execution, and evaluation based on formal speciications. This work builds on previous achievements in the areas of speciication-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test cases for individual operations from a speciication written in the Object-Z speciication language. These test cases are combined to produce a nite state machine that is used as the basis for test case execution with the ClassBench test execution framework. An oracle derived from the Object-Z speciication is used to evaluate the outputs generated by the test cases. We illustrate the method using a simple example and describe our experience applying it to a more substantial case study.
منابع مشابه
Translating Object-z Speciications to Object-oriented Test Oracles Translating Object-z Speciications to Object-oriented Test Oracles
This paper describes the translation of Object-Z speciications of container classes to C++ test oracle classes. It presents a three-stage translation process and describes how the derived test oracles are integrated into the ClassBench testing framework. The method caters for object-oriented features such as inheritance and aggregation. Translation issues and limitations of the method are discu...
متن کاملClassbench: a Methodology and Framework for Automated Class Testing Classbench: a Methodology and Framework for Automated Class Testing
In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. We present a novel approach to automated testing designed especially for collection classes. In the ClassBench methodology, a testgraph partially models the states and transitions of the class-under-test (CUT) state/transition graph. To determine the expected be...
متن کاملFrom Object-Z Specifications to ClassBench Test Suites
This paper describes a method for specification-based class testing that incorporates test case generation, execution, and evaluation based on formal specifications. This work builds on previous achievements in the areas of specification-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test templates for individual o...
متن کاملFormal Derivation of Finite State Machines for Class Testing
Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal speciications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal speciication of the class under test. We also show how the resu...
متن کاملSpeciication-based Class Testing with Classbench Speciication-based Class Testing with Classbench
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via Abstract In this paper, we present an approach that combines speciication-based testing and class testing. In particular, we provide a method for generating Finite State Machines (FSMs) from formal, object-oriented...
متن کامل